math pigeonhole